1. A practical guide to experimental geometrical optics
پدیدآورنده : Yuriy A. Garbovskiy, Anatoliy V. Glushchenko
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Geometrical optics,، Geometrical optics -- Experiments
رده :
QC
446
.
2
.
Y69
2017
2. Advanced information systems engineering :
پدیدآورنده : Paolo Giorgini, Barbara Weber (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer-aided software engineering, Congresses.,Systems engineering, Congresses.,Computer-aided software engineering.,Systems engineering.
رده :
QA76
.
758
.
C33
2019
3. Advanced information systems engineering workshops :
پدیدآورنده : Marko Bajec, Johann Eder (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer-aided software engineering -- Congresses.,Computer-aided software engineering.,Systems engineering -- Congresses.
رده :
QA76
.
76
.
A65
M375
2012
4. Advances in Cryptology - ASIACRYPT '91 :
پدیدآورنده : edited by Hideki Imai, Ronald L. Rivest, Tsutomu Matsumoto.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer communication networks.,Computer science.,Operating systems (Computers)
رده :
QA76
.
9
.
A25
E358
1993
5. Advances in cryptology, EUROCRYPT '95 :
پدیدآورنده : Louis C. Guillou, Jean-Jacques Quisquater, eds
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computers-- Access control, Congresses,Cryptography, Congresses,authentification,cryptographie,monnaie électronique,protocole,signature numérique,théorie nombre
رده :
QA76
.
9
.
A25
E964
1995
6. Advances in human-computer interaction human comfort and security ; [most of the papers presented in this book have been presented at the ESPRIT Workshops on Human Comfort and Security and Advanced Multisensor Applications, two satellite events to the 1994 IT conference held in Brussels in June 1994]
پدیدآورنده : S. Pfleger ... (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Human-computer interaction,Mensch-Maschine-Kommunikation.
7. ]Algor Finite element analysis system[ Software companion with verification examples
پدیدآورنده : ALGOR
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Algor,Data processing ، Finite element method,، Computer-aided engineering
رده :
TA
347
.
F5
A386
8. Analysis, Architectures and Modelling of Embedded Systems :
پدیدآورنده : edited by Achim Rettberg, Mauro C. Zanella, Michael Amann, Michael Keckeisen, Franz J. Rammig.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer network architectures.,Computer science.,Computer-aided design.
9. Analysis of machine elements using SOLIDWORKS® simulation 2017 /
پدیدآورنده : John R. Steffen, Shahin S. Nudehi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : SolidWorks.,SolidWorks.,Computer-aided design.,Machine design.,Computer-aided design.,Machine design.
10. CAD Based Programming for Sensory Robots :
پدیدآورنده : edited by Bahram Ravani.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer vision.,Computer-aided design.
رده :
TJ211
.
45
E358
1988
11. Cognitive Informatics and Soft Computing :
پدیدآورنده : Pradeep Kumar Mallick, Valentina Emilia Balas, Akash Kumar Bhoi, Ahmed F. Zobaa, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational intelligence, Congresses.,Soft computing, Congresses.,Computational intelligence.,COMPUTERS-- General.,Soft computing.
رده :
Q342
12. Computer Aided Systems Theory - EUROCAST '95 :
پدیدآورنده : edited by Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computers, Special purpose.,Microprocessors.
رده :
TA345
.
E358
1996
13. Computer Aided Verification
پدیدآورنده : / Tayssir Touili, Byron Cook, Paul Jackson
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
14. Computer Aided Verification
پدیدآورنده : / Daniel Kroening, Corina S. Psreanu
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
15. Computer Aided Verification :
پدیدآورنده : edited by Rajeev Alur, Thomas A. Henzinger.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
16. Computer Aided Verification :
پدیدآورنده : edited by Gregor Bochmann, David Karl Probst.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
17. Computer Aided Verification
پدیدآورنده : / Ganesh Gopalakrishnan, Shaz Qadeer
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
18. Computer Aided Verification
پدیدآورنده : \ Daniel Kroening , Corina S. Păsăreanu (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Verification -- Congresses.,Logics and Meanings of Programs.,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
76
.
V47C6
2015
E-Book
,
19. Computer Aided Verification :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer programs ; Verification ;
20. Computer Aided Verification
پدیدآورنده : / Daniel Kroening, Corina S. Psreanu
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
